Stichworte: states including texas formally challenged